3.2.77 \(\int x^2 (a+b \text {arctanh}(\frac {c}{x^2}))^2 \, dx\) [177]

3.2.77.1 Optimal result

Integrand size = 16, antiderivative size = 1172 \[ \int x^2 \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx =\text {Too large to display} \]

output

1/3*b^2*c^(3/2)*arctanh(x/c^(1/2))*ln(2*(-x+(-c)^(1/2))*c^(1/2)/((-c)^(1/2 
)-c^(1/2))/(x+c^(1/2)))-1/3*b^2*c^(3/2)*arctan(x/c^(1/2))*ln((1-I)*(x+c^(1 
/2))/(-I*x+c^(1/2)))+1/3*b^2*c^(3/2)*arctanh(x/c^(1/2))*ln(2*(x+(-c)^(1/2) 
)*c^(1/2)/(x+c^(1/2))/((-c)^(1/2)+c^(1/2)))-2/3*b^2*c^(3/2)*arctan(x/c^(1/ 
2))*ln(2-2*c^(1/2)/(-I*x+c^(1/2)))+2/3*b^2*c^(3/2)*arctanh(x/c^(1/2))*ln(2 
-2*c^(1/2)/(x+c^(1/2)))-2/3*a*b*c^(3/2)*arctan(x/c^(1/2))-2/3*b^2*c*x*ln(1 
-c/x^2)+1/3*b^2*c^(3/2)*arctan(x/c^(1/2))*ln(1-c/x^2)-1/3*b*c^(3/2)*arctan 
h(x/c^(1/2))*(2*a-b*ln(1-c/x^2))+2/3*b^2*c*x*ln(1+c/x^2)+1/3*a*b*x^3*ln(1+ 
c/x^2)-1/3*b^2*c^(3/2)*arctan(x/c^(1/2))*ln(1+c/x^2)-1/3*b^2*c^(3/2)*arcta 
nh(x/c^(1/2))*ln(1+c/x^2)+4/3*a*b*c*x-1/3*I*b^2*c^(3/2)*polylog(2,I*x/c^(1 
/2))-1/3*I*b^2*c^(3/2)*polylog(2,1-2*c^(1/2)/(-I*x+c^(1/2)))-1/6*b^2*x^3*l 
n(1-c/x^2)*ln(1+c/x^2)+2/3*b^2*c^(3/2)*arctan(x/c^(1/2))*ln(2*c^(1/2)/(-I* 
x+c^(1/2)))-1/3*b^2*c^(3/2)*arctan(x/c^(1/2))*ln((1+I)*(-x+c^(1/2))/(-I*x+ 
c^(1/2)))-2/3*b^2*c^(3/2)*arctanh(x/c^(1/2))*ln(2*c^(1/2)/(x+c^(1/2)))+1/3 
*I*b^2*c^(3/2)*arctan(x/c^(1/2))^2+1/3*I*b^2*c^(3/2)*polylog(2,-I*x/c^(1/2 
))+1/3*I*b^2*c^(3/2)*polylog(2,-1+2*c^(1/2)/(-I*x+c^(1/2)))+1/6*I*b^2*c^(3 
/2)*polylog(2,1-(1+I)*(-x+c^(1/2))/(-I*x+c^(1/2)))+1/6*I*b^2*c^(3/2)*polyl 
og(2,1+(-1+I)*(x+c^(1/2))/(-I*x+c^(1/2)))+4/3*b^2*c^(3/2)*arctan(x/c^(1/2) 
)-4/3*b^2*c^(3/2)*arctanh(x/c^(1/2))+1/3*b^2*c^(3/2)*arctanh(x/c^(1/2))^2+ 
1/12*b^2*x^3*ln(1+c/x^2)^2+1/3*b^2*c^(3/2)*polylog(2,-x/c^(1/2))-1/3*b^...
 

3.2.77.2 Mathematica [F]

\[ \int x^2 \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx=\int x^2 \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx \]

input

Integrate[x^2*(a + b*ArcTanh[c/x^2])^2,x]
 

output

Integrate[x^2*(a + b*ArcTanh[c/x^2])^2, x]
 

3.2.77.3 Rubi [A] (verified)

Time = 2.20 (sec) , antiderivative size = 1172, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.188, Rules used = {6460, 6457, 2009}

Below are the steps used by Rubi to obtain the solution. The rule number used for the transformation is given above next to the arrow. The rules definitions used are listed below.

\(\displaystyle \int x^2 \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx\)

\(\Big \downarrow \) 6460

\(\displaystyle \int x^2 \left (a+b \coth ^{-1}\left (\frac {x^2}{c}\right )\right )^2dx\)

\(\Big \downarrow \) 6457

\(\displaystyle \int \left (\frac {1}{4} x^2 \left (2 a-b \log \left (1-\frac {c}{x^2}\right )\right )^2-\frac {1}{2} b x^2 \log \left (\frac {c}{x^2}+1\right ) \left (b \log \left (1-\frac {c}{x^2}\right )-2 a\right )+\frac {1}{4} b^2 x^2 \log ^2\left (\frac {c}{x^2}+1\right )\right )dx\)

\(\Big \downarrow \) 2009

\(\displaystyle \frac {1}{12} \left (2 a-b \log \left (1-\frac {c}{x^2}\right )\right )^2 x^3+\frac {1}{12} b^2 \log ^2\left (\frac {c}{x^2}+1\right ) x^3+\frac {1}{3} a b \log \left (\frac {c}{x^2}+1\right ) x^3-\frac {1}{6} b^2 \log \left (1-\frac {c}{x^2}\right ) \log \left (\frac {c}{x^2}+1\right ) x^3+\frac {4}{3} a b c x-\frac {2}{3} b^2 c \log \left (1-\frac {c}{x^2}\right ) x+\frac {2}{3} b^2 c \log \left (\frac {c}{x^2}+1\right ) x+\frac {1}{3} i b^2 c^{3/2} \arctan \left (\frac {x}{\sqrt {c}}\right )^2+\frac {1}{3} b^2 c^{3/2} \text {arctanh}\left (\frac {x}{\sqrt {c}}\right )^2+\frac {4}{3} b^2 c^{3/2} \arctan \left (\frac {x}{\sqrt {c}}\right )-\frac {2}{3} a b c^{3/2} \arctan \left (\frac {x}{\sqrt {c}}\right )-\frac {4}{3} b^2 c^{3/2} \text {arctanh}\left (\frac {x}{\sqrt {c}}\right )-\frac {2}{3} b^2 c^{3/2} \arctan \left (\frac {x}{\sqrt {c}}\right ) \log \left (2-\frac {2 \sqrt {c}}{\sqrt {c}-i x}\right )+\frac {1}{3} b^2 c^{3/2} \arctan \left (\frac {x}{\sqrt {c}}\right ) \log \left (1-\frac {c}{x^2}\right )-\frac {1}{3} b c^{3/2} \text {arctanh}\left (\frac {x}{\sqrt {c}}\right ) \left (2 a-b \log \left (1-\frac {c}{x^2}\right )\right )-\frac {1}{3} b^2 c^{3/2} \arctan \left (\frac {x}{\sqrt {c}}\right ) \log \left (\frac {c}{x^2}+1\right )-\frac {1}{3} b^2 c^{3/2} \text {arctanh}\left (\frac {x}{\sqrt {c}}\right ) \log \left (\frac {c}{x^2}+1\right )+\frac {2}{3} b^2 c^{3/2} \arctan \left (\frac {x}{\sqrt {c}}\right ) \log \left (\frac {2 \sqrt {c}}{\sqrt {c}-i x}\right )-\frac {1}{3} b^2 c^{3/2} \arctan \left (\frac {x}{\sqrt {c}}\right ) \log \left (\frac {(1+i) \left (\sqrt {c}-x\right )}{\sqrt {c}-i x}\right )-\frac {2}{3} b^2 c^{3/2} \text {arctanh}\left (\frac {x}{\sqrt {c}}\right ) \log \left (\frac {2 \sqrt {c}}{x+\sqrt {c}}\right )+\frac {1}{3} b^2 c^{3/2} \text {arctanh}\left (\frac {x}{\sqrt {c}}\right ) \log \left (\frac {2 \sqrt {c} \left (\sqrt {-c}-x\right )}{\left (\sqrt {-c}-\sqrt {c}\right ) \left (x+\sqrt {c}\right )}\right )+\frac {1}{3} b^2 c^{3/2} \text {arctanh}\left (\frac {x}{\sqrt {c}}\right ) \log \left (\frac {2 \sqrt {c} \left (x+\sqrt {-c}\right )}{\left (\sqrt {-c}+\sqrt {c}\right ) \left (x+\sqrt {c}\right )}\right )-\frac {1}{3} b^2 c^{3/2} \arctan \left (\frac {x}{\sqrt {c}}\right ) \log \left (\frac {(1-i) \left (x+\sqrt {c}\right )}{\sqrt {c}-i x}\right )+\frac {2}{3} b^2 c^{3/2} \text {arctanh}\left (\frac {x}{\sqrt {c}}\right ) \log \left (2-\frac {2 \sqrt {c}}{x+\sqrt {c}}\right )-\frac {1}{3} i b^2 c^{3/2} \operatorname {PolyLog}\left (2,1-\frac {2 \sqrt {c}}{\sqrt {c}-i x}\right )+\frac {1}{3} i b^2 c^{3/2} \operatorname {PolyLog}\left (2,\frac {2 \sqrt {c}}{\sqrt {c}-i x}-1\right )+\frac {1}{6} i b^2 c^{3/2} \operatorname {PolyLog}\left (2,1-\frac {(1+i) \left (\sqrt {c}-x\right )}{\sqrt {c}-i x}\right )+\frac {1}{3} b^2 c^{3/2} \operatorname {PolyLog}\left (2,-\frac {x}{\sqrt {c}}\right )+\frac {1}{3} i b^2 c^{3/2} \operatorname {PolyLog}\left (2,-\frac {i x}{\sqrt {c}}\right )-\frac {1}{3} i b^2 c^{3/2} \operatorname {PolyLog}\left (2,\frac {i x}{\sqrt {c}}\right )-\frac {1}{3} b^2 c^{3/2} \operatorname {PolyLog}\left (2,\frac {x}{\sqrt {c}}\right )+\frac {1}{3} b^2 c^{3/2} \operatorname {PolyLog}\left (2,1-\frac {2 \sqrt {c}}{x+\sqrt {c}}\right )-\frac {1}{3} b^2 c^{3/2} \operatorname {PolyLog}\left (2,\frac {2 \sqrt {c}}{x+\sqrt {c}}-1\right )-\frac {1}{6} b^2 c^{3/2} \operatorname {PolyLog}\left (2,1-\frac {2 \sqrt {c} \left (\sqrt {-c}-x\right )}{\left (\sqrt {-c}-\sqrt {c}\right ) \left (x+\sqrt {c}\right )}\right )-\frac {1}{6} b^2 c^{3/2} \operatorname {PolyLog}\left (2,1-\frac {2 \sqrt {c} \left (x+\sqrt {-c}\right )}{\left (\sqrt {-c}+\sqrt {c}\right ) \left (x+\sqrt {c}\right )}\right )+\frac {1}{6} i b^2 c^{3/2} \operatorname {PolyLog}\left (2,1-\frac {(1-i) \left (x+\sqrt {c}\right )}{\sqrt {c}-i x}\right )\)

input

Int[x^2*(a + b*ArcTanh[c/x^2])^2,x]
 

output

(4*a*b*c*x)/3 - (2*a*b*c^(3/2)*ArcTan[x/Sqrt[c]])/3 + (4*b^2*c^(3/2)*ArcTa 
n[x/Sqrt[c]])/3 + (I/3)*b^2*c^(3/2)*ArcTan[x/Sqrt[c]]^2 - (4*b^2*c^(3/2)*A 
rcTanh[x/Sqrt[c]])/3 + (b^2*c^(3/2)*ArcTanh[x/Sqrt[c]]^2)/3 - (2*b^2*c^(3/ 
2)*ArcTan[x/Sqrt[c]]*Log[2 - (2*Sqrt[c])/(Sqrt[c] - I*x)])/3 - (2*b^2*c*x* 
Log[1 - c/x^2])/3 + (b^2*c^(3/2)*ArcTan[x/Sqrt[c]]*Log[1 - c/x^2])/3 - (b* 
c^(3/2)*ArcTanh[x/Sqrt[c]]*(2*a - b*Log[1 - c/x^2]))/3 + (x^3*(2*a - b*Log 
[1 - c/x^2])^2)/12 + (2*b^2*c*x*Log[1 + c/x^2])/3 + (a*b*x^3*Log[1 + c/x^2 
])/3 - (b^2*c^(3/2)*ArcTan[x/Sqrt[c]]*Log[1 + c/x^2])/3 - (b^2*c^(3/2)*Arc 
Tanh[x/Sqrt[c]]*Log[1 + c/x^2])/3 - (b^2*x^3*Log[1 - c/x^2]*Log[1 + c/x^2] 
)/6 + (b^2*x^3*Log[1 + c/x^2]^2)/12 + (2*b^2*c^(3/2)*ArcTan[x/Sqrt[c]]*Log 
[(2*Sqrt[c])/(Sqrt[c] - I*x)])/3 - (b^2*c^(3/2)*ArcTan[x/Sqrt[c]]*Log[((1 
+ I)*(Sqrt[c] - x))/(Sqrt[c] - I*x)])/3 - (2*b^2*c^(3/2)*ArcTanh[x/Sqrt[c] 
]*Log[(2*Sqrt[c])/(Sqrt[c] + x)])/3 + (b^2*c^(3/2)*ArcTanh[x/Sqrt[c]]*Log[ 
(2*Sqrt[c]*(Sqrt[-c] - x))/((Sqrt[-c] - Sqrt[c])*(Sqrt[c] + x))])/3 + (b^2 
*c^(3/2)*ArcTanh[x/Sqrt[c]]*Log[(2*Sqrt[c]*(Sqrt[-c] + x))/((Sqrt[-c] + Sq 
rt[c])*(Sqrt[c] + x))])/3 - (b^2*c^(3/2)*ArcTan[x/Sqrt[c]]*Log[((1 - I)*(S 
qrt[c] + x))/(Sqrt[c] - I*x)])/3 + (2*b^2*c^(3/2)*ArcTanh[x/Sqrt[c]]*Log[2 
 - (2*Sqrt[c])/(Sqrt[c] + x)])/3 - (I/3)*b^2*c^(3/2)*PolyLog[2, 1 - (2*Sqr 
t[c])/(Sqrt[c] - I*x)] + (I/3)*b^2*c^(3/2)*PolyLog[2, -1 + (2*Sqrt[c])/(Sq 
rt[c] - I*x)] + (I/6)*b^2*c^(3/2)*PolyLog[2, 1 - ((1 + I)*(Sqrt[c] - x)...
 

3.2.77.3.1 Defintions of rubi rules used

rule 2009

Int[u_, x_Symbol] :> Simp[IntSum[u, x], x] /; SumQ[u]
 

rule 6457

Int[((a_.) + ArcCoth[(c_.)*(x_)^(n_)]*(b_.))^(p_)*(x_)^(m_.), x_Symbol] :> 
Int[ExpandIntegrand[x^m*(a + b*(Log[1 + 1/(x^n*c)]/2) - b*(Log[1 - 1/(x^n*c 
)]/2))^p, x], x] /; FreeQ[{a, b, c}, x] && IGtQ[p, 1] && IGtQ[n, 0] && Inte 
gerQ[m]
 

rule 6460

Int[((a_.) + ArcTanh[(c_.)*(x_)^(n_)]*(b_.))^(p_)*(x_)^(m_.), x_Symbol] :> 
Int[x^m*(a + b*ArcCoth[1/(x^n*c)])^p, x] /; FreeQ[{a, b, c, m}, x] && IGtQ[ 
p, 1] && ILtQ[n, 0]
 

3.2.77.4 Maple [F]

\[\int x^{2} {\left (a +b \,\operatorname {arctanh}\left (\frac {c}{x^{2}}\right )\right )}^{2}d x\]

input

int(x^2*(a+b*arctanh(c/x^2))^2,x)
 

output

int(x^2*(a+b*arctanh(c/x^2))^2,x)
 

3.2.77.5 Fricas [F]

\[ \int x^2 \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx=\int { {\left (b \operatorname {artanh}\left (\frac {c}{x^{2}}\right ) + a\right )}^{2} x^{2} \,d x } \]

input

integrate(x^2*(a+b*arctanh(c/x^2))^2,x, algorithm="fricas")
 

output

integral(b^2*x^2*arctanh(c/x^2)^2 + 2*a*b*x^2*arctanh(c/x^2) + a^2*x^2, x)
 

3.2.77.6 Sympy [F]

\[ \int x^2 \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx=\int x^{2} \left (a + b \operatorname {atanh}{\left (\frac {c}{x^{2}} \right )}\right )^{2}\, dx \]

input

integrate(x**2*(a+b*atanh(c/x**2))**2,x)
 

output

Integral(x**2*(a + b*atanh(c/x**2))**2, x)
 

3.2.77.7 Maxima [F]

\[ \int x^2 \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx=\int { {\left (b \operatorname {artanh}\left (\frac {c}{x^{2}}\right ) + a\right )}^{2} x^{2} \,d x } \]

input

integrate(x^2*(a+b*arctanh(c/x^2))^2,x, algorithm="maxima")
 

output

1/3*a^2*x^3 + 1/3*(2*x^3*arctanh(c/x^2) - (2*sqrt(c)*arctan(x/sqrt(c)) - s 
qrt(c)*log((x - sqrt(c))/(x + sqrt(c))) - 4*x)*c)*a*b + 1/12*(x^3*log(x^2 
- c)^2 - 3*integrate(-1/3*(3*(x^4 - c*x^2)*log(x^2 + c)^2 - 2*(2*x^4 + 3*( 
x^4 - c*x^2)*log(x^2 + c))*log(x^2 - c))/(x^2 - c), x))*b^2
 

3.2.77.8 Giac [F]

\[ \int x^2 \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx=\int { {\left (b \operatorname {artanh}\left (\frac {c}{x^{2}}\right ) + a\right )}^{2} x^{2} \,d x } \]

input

integrate(x^2*(a+b*arctanh(c/x^2))^2,x, algorithm="giac")
 

output

integrate((b*arctanh(c/x^2) + a)^2*x^2, x)
 

3.2.77.9 Mupad [F(-1)]

Timed out. \[ \int x^2 \left (a+b \text {arctanh}\left (\frac {c}{x^2}\right )\right )^2 \, dx=\int x^2\,{\left (a+b\,\mathrm {atanh}\left (\frac {c}{x^2}\right )\right )}^2 \,d x \]

input

int(x^2*(a + b*atanh(c/x^2))^2,x)
 

output

int(x^2*(a + b*atanh(c/x^2))^2, x)